/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#4=NGB25/FONT#5=STA200
␈↓ ↓H␈↓␈↓¬S␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305


␈↓ ↓H␈↓∧Telephone 415-497-1391␈↓ 	pJanuary 15, 1976
␈↓ ↓H␈↓∧or  415-497-4971



␈↓ ↓H␈↓Professor Jack Minker
␈↓ ↓H␈↓Department of Computer Science
␈↓ ↓H␈↓University of Maryland
␈↓ ↓H␈↓College Park, Maryland 20742


␈↓ ↓H␈↓Dear Professor Minker,


␈↓ ↓H␈↓I␈αam␈αa␈αfourth-year␈αgrad␈αstudent␈αin␈αStanford's␈αCS␈αdepartment,␈αand␈αexpect␈αto␈αreceive␈αmy␈αPh.D.␈αby

␈↓ ↓H␈↓next␈αFall.␈α My␈αdissertation␈αis␈αin␈αthe␈α≡eld␈αof␈αArti≡cial␈αIntelligence.␈α I␈αhave␈αstudied␈αhow␈αone␈αmight

␈↓ ↓H␈↓explain␈α∪--␈α∪and␈α∪automate␈α∪--␈α∪the␈α∩formation␈α∪of␈α∪new␈α∪mathematical␈α∪theories.␈α∪ I've␈α∪constructed␈α∩a

␈↓ ↓H␈↓program␈α∂which␈α∂can␈α∂develop␈α∂simple␈α∂mathematical␈α∞concepts,␈α∂which␈α∂aims␈α∂at␈α∂expertise␈α∂in␈α∞theorem

␈↓ ↓H␈↓␈↓↓proposing␈↓ rather than theorem ␈↓↓proving␈↓.  A short description of the project is enclosed.


␈↓ ↓H␈↓My␈α
PhD␈αcommittee␈α
consists␈α
of␈αEd␈α
Feigenbaum,␈αCordell␈α
Green,␈α
Bruce␈αBuchanan,␈α
and␈αDon␈α
Knuth.

␈↓ ↓H␈↓They␈αhave␈αsuggested␈αthat␈αI␈αwrite␈αyou,␈αsince␈αI␈αam␈αinterested␈αin␈αa␈αfaculty␈αposition␈αfor␈αnext␈αyear.␈αI'd

␈↓ ↓H␈↓welcome␈α⊃the␈α⊃opportunity␈α⊂to␈α⊃discuss␈α⊃that␈α⊂matter␈α⊃with␈α⊃you,␈α⊂as␈α⊃well␈α⊃as␈α⊂my␈α⊃thesis.␈α⊃ I␈α⊃could␈α⊂visit

␈↓ ↓H␈↓Maryland␈α
sometime␈α
this␈α
Winter.␈α
If␈α
there␈α
is␈α
su≠cient␈α
interest,␈α
I'd␈α
be␈α
happy␈α
to␈α
give␈α
a␈α
colloquium␈α
on

␈↓ ↓H␈↓my thesis research.



␈↓ ↓H␈↓␈↓ εSincerely,






␈↓ ↓H␈↓␈↓ ¬vDoug  Lenat